推广的二元三角插值算子的收敛与饱和

构造了不依赖于结点组的更广的一类二元Fourier插值算子和二元离散的Fourier插值算子,估计了两类算子的收敛阶,并且证明了对于二元连续周期函数类来讲,该收敛阶是最优的.更进一步讨论了这两类算子的饱和问题,得到了饱和阶的估计.在收敛阶和饱和阶的度量上,论文结果与以往文献中的结果是一致的.     

如何自动记录水准测量外业数据

介绍了以PC—E500计算机为载体的三、四、五等水准记录程序设计所依据的规范和限差,从PC—E500计算机的操作程序详述了该软件在外业测量中观测记录、i角检查等方面的应用。     

正余切函数方次幂的导函数表示与有关的组合恒等式

利用求导的方法，研究了三角函数正切和余切的方幂的导函数表示，得到了其系数的规律，由此与函数的幂级数表示相联系。揭示了Bernoulli数的内在联系，得到了一个有趣的恒等式。     

中点单觇法三角高程测量及其精度分析

阐述中点单砚法三角高程测量的原理及精度，并在此基础上得出该方法可达到三、四等水准测量的精度要求。     

重力位模型和GPS/水准数据确定区域似大地水准面

为了有效的利用GPS观测的高程信息,实现GPS观测值中的椭球高向正常高转化,采用EGM96和EIGEN-CG01C重力位模型和某区域的GPS/水准观测数据,应用几何方法确定了该区域1.5'×1.5'分辨率的似大地水准面格网数值模型.该似大地水准面模型内插高程异常与实测GPS/水准点的高程异常进行比较,内符合精度和外符合精度均优于0.040米.表明在地形平坦地区,用平均点间距为10KM的GPS/水准点成果,可以确定厘米级的似大地水准面模型,结合GPS观测成果可以取代四等及以下几何水准测量.     

带有局部形状控制参数的代数三角混合插值曲线

通过一类代数三角混合Bézier型曲线的定义,构造了一类C2连续的带有局部形状控制参数的代数三角混合Bézier型插值曲线。一方面继承了Bézier插值曲线的特性,另一方面可以利用形状控制参数灵活调节曲线形状,进一步增强了曲线曲面的表现能力。     

平面等边多边形的三角表示及其应用

研究了等边多边形的三角表示,并利用等边多边形的(有限)三角表示给出平面多边形的逆Bonnesen型等周不等式.     

关于反周期函数的2-周期(0,p(D))三角插值

目的为了克服以2π为周期的三角插值问题所对应的插值空间Tn,ε(ε=0或1)对平移运算和求导运算不封闭,给出以π为周期的反周期函数的2-周期(0,p(D))三角插值。方法采用不同于Franz-Jurgen Delvos等人(Franz-Jurgen Delvos.BIT,1993,33(1),113-123;Franz-Jurgen Delvos,Ludger Knoche,BIT,1999,39(3):430-450.)的研究方法,通过不断求解给出结果。结果与结论给出了问题正则的充分必要条件及正则时基多项式的明显表达式,即r2v(x)=-(1/n)sum from j=1 to 2n( C2j-1cos(2j-1)(x-x2v)-D2j-1sin(2j-1)(x-x2v))/(Δ2j-1) ,q2v 1(x)=1/n sum from j=1 to n(1/Δ2j-1)[A2j-1cos(2j-1)(x-x2v 1)-iB2j-1sin(2j-1)(x-x2v 1)],其中v=0,1,…,n-1。     

三角函数不等式的自动证明

本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是"可读"的.